Planar Graphs
Euler's Theorem
Let be a graph that can be drawn on a plane surface so that no two of its edges intersect. Then is called a planar graph.
Euler's Theorem on Planar Graphs
Let be a connected planar graph with vertices, edges, and faces. Then .
Proof
We prove the statement by induction on , the number of edges of . If , then is either the tree of one edge, and then , and the statement is true, or is the one-vertex graph with a loop, and then , and the statement is true again.
Now let us assume that we know the statement for all graphs with edges, and let have edges. We distinguish two cases.
If we can remove an edge from so that the new graph is still connected, then is in a cycle in , and therefore there are two different faces on the two sides of in . Then has edges, vertices, and faces as the removal of turned the two faces on the two sides of into one. Therefore, , so .
If there is no with the mentioned property, then is a cycle-free connected graph, that is, a tree. Then we know that . On the other hand, , so the claim is again true.
Lemma 1
The graph is not planar.
Let us suppose that is planar. As it has nine edges and six vertices, and it must have five faces. However, is a complete bipartite graph, so all its faces must be quadrilaterals. Five quadrilaterals have a total of twenty edges, but in a planar graph, each edge is contained in two faces. Therefore, our graph would need ten distinct edges, but it has only nine.
Lemma 2
The graph is not planar.
Again, let us suppose that is planar. As it has five vertices and ten edges, it follows from Euler's Theorem that it must have seven faces. As is a complete graph, all its faces must be triangles. Seven triangles, however, would need 21 edges, which is impossible as each of the ten edges of is used in exactly two faces.
Kuratowski's Theorem
A graph is not planar if and only if it contains a subgraph that is edge-equivalent to or .
Polyhedra
Theorem
Let be a convex polyhedron with vertices, faces, and edges. Then .
Corollary
In any convex polyhedron with faces and edges, .
Proposition
In any convex polyhedron with vertices and edges, .
Proof
Let denote the number of edges adjacent to each vertex. As each edge is adjacent to exactly two vertices,
As each vertex is contained in at least three faces, for all , so the left-hand side is at least as large as , which was to be proved.
Lemma 1
In any convex polyhedron, , and also, .
Proof
We know from the above corollary that . Comparing this to Euler's theorem, we get
and the claim follows by rearranging. Similarly, the proposition above implies , and comparing this to Euler's theorem,
and again, the claim follows by rearranging.
Lemma 2
All convex polyhedra have at least one face that has at most five edges.
Proof
We know from Lemma 1 that . Comparing this to Euler's Theorem we obtain
Therefore, it cannot be that for all as that would imply the inequality .
Lemma 3
All convex polyhedra have at least one vertex that is contained in at most five edges.
Proof
We know from Lemma 1 that . We obtain
Therefore, it cannot be that for all as that would imply the inequality .
Coloring Maps
Proposition
The vertices of any planar graph can be properly colored with six colors.
Proof
Induction on , the number of vertices of the planar graph . If , then the statement is obviously true. Let us assume that we know that the statement is true for graphs with vertices. Let have vertices. Then we know that has a vertex of degree at most five. Remove from to get the graph . By our induction hypothesis, has a proper coloring with six colors. Take such a coloring of , then color with a color that is not the color of any of its (at most five) neighbors.
This means, by duality, that all maps can be properly colored using six colors. The situation is significantly harder if we only want to use five colors. The result, however, is the same.
Theorem
The vertices of any planar graph can be properly colored with five colors.
Proof
Just as in proving the previous proposition, we use induction. The only case in which the previous proof does not work is when has five neighbors, and they are all of different colors. In this case, denote by and 5 the colors of the five neighbors of as they follow clockwise. Let be the graph obtained from by removing and all the edges adjacent to . If has a proper 5-coloring in which and are the same color, then we are done. If not, then any proper 5-coloring of must contain a path from to along which the vertices are alternatingly colored 1 and 3 . By a similar argument, if and cannot be the same color, then any proper 5 -coloring of must contain a path from to along which the vertices are alternatingly colored 2 and 4. This, however, is a contradiction, as a path from to and a path from to must always intersect.